Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
31	Northeast PARC Regional Working Group Meeting August 13-14, 2002 in Pennsylvania Tuesday, August 13, :00 pm Arrival and Registration Add to Reading List Source URL: www.northeastparc.org Language: English - Date: 2014-09-16 14:42:25 Software engineering Programming language theory Computer programming Haskell Literate programming PM
32	Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx Add to Reading List Source URL: www.videoservicesforum.org Language: English - Date: 2014-09-15 21:47:41 Computing Software engineering Engineering JT Product lifecycle management Quantel Unified Modeling Language Object Process Methodology Diagram
33	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia {abonnair,samth}@indiana.edu, Rowan.Davies@cba. Add to Reading List Source URL: frenchy64.github.io Language: English - Date: 2016-08-15 14:26:54 Software engineering Computing Computer programming Functional languages Concurrent programming languages Programming languages Procedural programming languages Cross-platform software Clojure Multiple dispatch Type system Dynamic programming language
34	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
35	Search LLT: Volume 5, Number 3 SeptemberColumns Add to Reading List Source URL: llt.msu.edu Language: English - Date: 2015-06-16 16:05:05 Linguistics Academia Discourse analysis Applied linguistics Corpus linguistics Computer-assisted language learning Language education Language learning software CALICO Corpora Mark Warschauer Language Teaching
36	Towards User-Friendly Projectional Editors Markus Voelter1 , Janet Siegmund2 , Thorsten Berger3 , and Bernd Kolb4 1 2 3 Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Computing Software Formal languages Compiler construction Language workbench Markup languages Technical communication Structure editor Syntax JetBrains MPS Parsing Abstract syntax tree
37	02157 Functional Programming - Sequences Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 17:30:05 Software engineering Programming language theory Computer programming Functional languages Primality tests Procedural programming languages Integer sequences Lazy evaluation Pure Sieve of Eratosthenes ALGOL 68 Functional programming
38	Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA Add to Reading List Source URL: peek.uwplse.org Language: English - Date: 2016-08-08 16:17:02 Computing Software engineering Software Compiler optimizations Programming language implementation Compiler construction Formal methods Logic in computer science CompCert Low-level programming language Peephole optimization Formal verification
39	SINGLE INTERFACE FOR MUSIC SCORE SEARCHING AND ANALYSIS (SIMSSA) Ichiro Fujinaga Schulich School of Music CIRMMT, McGill University Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-21 11:48:12 Information science Information retrieval Music software Artificial intelligence Music information retrieval Natural language processing Search engine indexing Workflow Image retrieval Trove Document management system Music OCR
40	The mbeddr Documentation Language Markus Voelter March 18, 2013 Abstract This document explains how to use the documentation language of mbeddr. It supports writing prose text with sections, figures etc. It Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Computing Software Open formats HTML Markup languages Technical communication LaTeX HTML element Portable Document Format Microsoft Word Diff utility Javadoc

UPDATE